Normal Vietoris Implies Compactness: A Short Proof
نویسندگان
چکیده
منابع مشابه
Groups with one conjugacy class of non-normal subgroups - a short proof
For a finite group $G$ let $nu(G)$ denote the number of conjugacy classes of non-normal subgroups of $G$. We give a short proof of a theorem of Brandl, which classifies finite groups with $nu(G)=1$.
متن کاملBounded Variation Implies Regulated: A Constructive Proof
It is shown constructively that a strongly extensional function of bounded variation on an interval is regulated, in a sequential sense that is classically equivalent to the usual one. This paper continues the constructive study of monotone functions and functions of bounded variation, begun in [3] and [4] (see also [5]). It can be read by anyone who appreciates the distinction between classica...
متن کاملA SHORT PROOF OF A RESULT OF NAGEL
Let $(R,fm)$ be a Gorenstein local ring and$M,N$ be two finitely generated modules over $R$. Nagel proved that if $M$ and $N$ are inthe same even liaison class, thenone has $H^i_{fm}(M)cong H^i_{fm}(N)$ for all $iIn this paper, we provide a short proof to this result.
متن کاملgroups with one conjugacy class of non-normal subgroups - a short proof
for a finite group $g$ let $nu(g)$ denote the number of conjugacy classes of non-normal subgroups of $g$. we give a short proof of a theorem of brandl, which classifies finite groups with $nu(g)=1$.
متن کاملA Simple Proof That Super-Consistency Implies Cut Elimination
We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-consistency implies proof normalization. It also takes ideas from the semantic proofs of cut elimination that proceed by proving the completeness of the cut free calculus. In particular, it gives a generalization, to all super-c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 2004
ISSN: 0011-4642,1572-9141
DOI: 10.1023/b:cmaj.0000027257.66431.a0